#ifndef __ARDUINO_TOS_MUTEX_H__
#define __ARDUINO_TOS_MUTEX_H__

#include "TencentOS/kernel/core/include/tos_mutex.h"

#endif